一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

基于SAGWO算法的UCAVs动态协同任务分配

通过分析无人作战飞机（UCAV）优势概率和任务联合威胁以及定义任务时间,建立了以目标价值毁伤、编队损耗代价和时间消耗为性能指标的多无人作战飞机（UCAVs）多约束动态任务分配数学模型,采用改进的灰狼优化（GWO）算法对数学模型进行求解;针对基本GWO算法求解早熟的缺点,给出了自适应调整策略和跳出局部最优策略,引入了二次曲线控制方法;对UCAVs动态协同任务分配特点,设计了目标任务序列编码方式,提出了基于自适应GWO（SAGWO）算法的UCAVs多目标动态任务分配方法。从静态与动态2种情况分别对该方法进行仿真验证;仿真结果表明,该方法是有效的,相比较于其他算法,其优化过程快速精准。      

基于磁链辨识的无轴承薄片电机轴向振动抑制策略

为了进一步提高BPMSM的悬浮性能,提出了一种基于磁链辨识的BPMSM轴向振动抑制策略,通过转子磁链的变化来估测转子轴向偏移量,然后将轴向偏移量转化为d轴电流分量参考值i*d,通过对i*d的调节来改善薄片转子的轴向恢复力,实现对轴向振动的有效抑制,从而有效改善电机的悬浮性能。试验结果表明:所提出的轴向振动抑制策略能够对薄片转子轴向振动进行有效抑制,提高系统的抗干扰能力,系统的运行性能得到了有效改善。     

基于EMD与切片双谱的轴承故障诊断方法

针对轴承故障诊断问题,提出一种基于经验模态分解(EMD,Empirical Mode Decomposition)与切片双谱分析相结合的新方法.将原始信号分解成不同尺度的固有模态函数(IMF,Intrinsic Mode Function),求取IMF分量的包络,计算其对角切片双谱,提取由于二次相位耦合产生的非线性特征,得到轴承的故障特征频率.通过对仿真信号进行分析,表明该方法克服了传统的基于EMD的包络功率谱方法不能抑制噪声的缺点,同时较传统高阶谱方法计算量更小.给出了6205-2RS JEM SKF轴承诊断实例,说明了该方法的可用性.     

基于切片熵权的WHT多LFM信号识别方法

为提高在低信噪比与先验信息不足条件下对线性调频(LFM)信号识别能力,借鉴信息论中的熵权法改进WHT(Wigner-Hough Transform),提出了一种基于切片熵权的WHTE(Wigner-Hough Transform based on Entropy)算法。推导出LFM信号的WHT与对应特性,将WHT变换域内极半径和角度切片的熵值来转换为权重因子,进而对每个切片进行加权处理,采用双层权重以弱化噪声与干扰项的影响,并推导出LFM信号与高斯白噪声在WHT维度内不同假设条件下的概率密度分布函数,构建了对于LFM信号WHT后恒虚警检测的完备流程。通过理论分析与公式推导论证了算法的可行性,并与WHT、分数阶傅里叶变换与周期WHT算法的仿真对比,验证了算法的有效性,凸显WHTE算法能够在强噪声背景下与没有先验支撑时实现对LFM信号的良好检测。     

粗糙表面轮廓谱的耦合性分析

双谱估计是分析随机信号的二次相位耦合、非线性、非对称性等特征的有效方法，但存在计算量庞大，估计精度较差，显示不够直观等缺点。本文提出了一种改进的对角线切片谱分析方法，并把它用于粗糙表面轮廓的非线性和耦合性特征分析。通过理论仿真研究和实验分析，结果表明这种方法简单、合理，而且有可能揭示加工过程中引起表面粗糙度间距和高度参数变化的原因。     

一种多进程实时控制系统的软件设计

本文提出了一种时间片预分割方案,并将其用于多进程实时控制系统的软件设计,其特点是程序设计简单、维护方便,尤其是提高了系统运行的可靠性。     

基于WinCE的发动机试验实时控制软件设计

通过对WinCE操作系统线程、进程和定时器的分析,采用多媒体定时器和外围硬件配合的方式,结合XXX液体火箭发动机试车台增压/闭环控制系统实时时序控制的设计和应用,系统论述了在WinCE操作系统下,实时控制的实现原理和设计方法,并阐述了基于多媒体定时器实时控制软件设计框架的应用前景。     

单片机的多机控制在装置艺术中的应用

介绍单片机的多机通信技术在控制步进电机中的应用.该系统以AT89C51单片机作为主机、以ATB9C2051单片机作为从机组成主从网络控制器.实现多台步进电机的起停、转向、调速、位置变化的控制.     

一种振动突频快速统计与瀑布图重建分析系统

在液体火箭发动机试验过程中,对获得的试验振动频域二维数据进行快速提取与分析以及通过三维瀑布图详细查看某时刻的突频数据有着重要的意义.在LMS Test.Lab Rev软件的基础上,使用VS2010与Eclipse联合开发环境编写程序对其导出的.txt数据进行处理,实现二维突频数据的快速统计与排版以及三维数据的彩色显示与频谱切片.在二维数据快速统计程序设计中,提出了一种大文本数据快速统计算法;在三维瀑布图显示中,提出了一种基于文本数据重建三维瀑布图的算法.通过阐述两种算法并对程序进行测试,结果表明程序有着高可靠性与应用推广价值.